آخرین مطالب
امکانات وب
امروز 28 آپریل مصادف با تولد منطقدان، فیلسوف و ریاضیدان اتریشی، کرت گودل است. آنچه در زیر می‌آید مروری است سطحی بر زندگی و کارهای او. کرت گودل در 28 آپریل سال 1906 در شهر برنو (واقع در چک امروزی) متولد شد. پدر او ردولف گودل مسیحی کاتولیک و مادرش پروتستانی بود.گودل نیمی از عمرش را در اروپای مرکزی و نیمی را در امریکا گذراند. او وقتی تنها 25 سال داشت کار های منطق چیست؟ پژوهشی تاریخی در ظهور و افول منطق...ما را در سایت منطق چیست؟ پژوهشی تاریخی در ظهور و افول منطق دنبال می کنید
برچسب : نویسنده : 4zoqol1 بازدید : 395 تاريخ : پنجشنبه 10 خرداد 1397 ساعت: 12:36
قصد دارم طی پست هایی یادداشت هایی که حین مطالعه نظریه مجموعه ها برداشتم رو منتشر کنم-این پست ها بیشتر جنبه تاریخی دارند و نه فنی.
در زیر اصول سیستم زرملو فرانکل ZF را معرفی میکنیم ،یا بهتر است بگوییم زرملو-فرانکل-اسکولم. چرا که توسط زرملو معرفی و توسط فرانکل و اسکولم اصلاح شد.
ZF1:( اصل گسترش- Axiom of extension): اگر a ,b مجموعه باشند و برای هر x∈a داشته منطق چیست؟ پژوهشی تاریخی در ظهور و افول منطق...
ما را در سایت منطق چیست؟ پژوهشی تاریخی در ظهور و افول منطق دنبال می کنید
برچسب : نویسنده : 4zoqol1 بازدید : 373 تاريخ : پنجشنبه 10 خرداد 1397 ساعت: 12:36